Temporal Logic: Volume 2: Mathematical Foundations and Computational Aspects: Vol 2 (Oxford Logic Guides)
by Dov M Gabbay,M. Finger,M. Reynolds
ISBN 13: 9780198537687
Format: Hardcover (597 pages) Publisher: OUP Oxford Published: 30 Mar 2000
Save for later
Journal of Applied Logics - The IfCoLog Journal of Logics and their Applications: Volume 8, Issue 6, July 2021. Special Issue on Formal ... 6, July 2021. : Volume 8, Issue 6, July 2021
by Dov M Gabbay,Massimiliano Giacomin,Guillermo R Simari
ISBN 13: 9781848903715
Format: Paperback (574 pages) Publisher: College Publications Published: 01 Jul 2021